$\forall$$i$:$\mathbb{Z}$. ($\mid$$i$$\mid$ = 0) $\Leftarrow\!\Rightarrow$ ($i$ = 0)